DEF=test
EXT=test
TESTDIR=.
KOMPILE_BACKEND=llvm

include ../../../../include/kframework/ktest.mak
